Lower Bounds on the Iteration Time and the Number of Resources for Functional Pipelined Data Flow Graphs

An algorithm is presented to determine two lower bounds in functional pipelined data path synthesis. Given an iteration time constraint T and a task initiation latency, the algorithm computes a lower bound on the number offunctional units required to execute the data flow graph of a loop body, and given resource constraint R and a task initiation latency the algorithm computes a lower bound on the number of time steps required to execute the data flow graph. The lower bounds not only greatly reduce the size of the solution space, but also provide a means to measure the proximity of the final solution to an optimal one. Since the bounds are computed in polynomial time, this lower bound algorithm is very effective, especially for large DFGs. Experiments indicate that the lower bound is very tight. For all of the test cases the difference between our solution and the optimal solution is not greater than one.